Montreal Talk III Real Time
June-26-13
6:39 AM
Sorry - Yesterday I got the answer to the computational complexity question wrong. Complexity is exponential in the length and super-exponential in the width. The actual constants as such that in practice you can compute the homology of knots with up to about 70 crossings, and if they are long yet narrow, even a lot more. [Knot tables continue up to 17 crossings, and there are millions of knots that big].
(Thanks, Semen Artamonov)
log=[1372258101064,
  [249983, [1,1], "Handout view 2: All"],
  [252504, [1,2], "Handout view 3: Riddle"],
  [361716, [1,3], "Handout view 4: Ugliest part"],
  [390244, [1,2], "Handout view 3: Riddle"],
  [424217, [1,3], "Handout view 4: Ugliest part"],
  [484327, [1,4], "Handout view 5: Abstract, again"],
  [507790, [1,5], "Handout view 6: KBH"],
  [532165, [1,6], "Handout view 7: Knots and tangles"],
  [613629, [1,7], "Handout view 8: Standard Alexander"],
  [617820, [1,6], "Handout view 7: Knots and tangles"],
  [624364, [1,7], "Handout view 8: Standard Alexander"],
  [651691, [1,6], "Handout view 7: Knots and tangles"],
  [670587, [1,7], "Handout view 8: Standard Alexander"],
  [814487, [1,8], "Handout view 9: Alexander Issues"],
  [823878, [1,7], "Handout view 8: Standard Alexander"],
  [834534, [1,8], "Handout view 9: Alexander Issues"],
  [888109, [1,7], "Handout view 8: Standard Alexander"],
  [964587, [1,8], "Handout view 9: Alexander Issues"],
  [1106511, [1,9], "Handout view 10: Idea"],
  [1223378, [1,9], "Handout view 10: Idea"],
  [1449766, [1,10], "Handout view 11: A group computer"],
  [1784069, [1,11], "Handout view 12: Meta-groups"],
  [1803138, [1,10], "Handout view 11: A group computer"],
  [1810082, [1,11], "Handout view 12: Meta-groups"],
  [2153439, [1,12], "Handout view 13: Examples of meta-groups"],
  [2291621, [1,9], "Handout view 10: Idea"],
  [2299804, [1,6], "Handout view 7: Knots and tangles"],
  [2510544, [1,11], "Handout view 12: Meta-groups"],
  [2513142, [1,12], "Handout view 13: Examples of meta-groups"],
  [2519845, [1,13], "Handout view 14: Further meta-monoids"],
  [2529255, [1,14], "Handout view 15: Bicrossed products"],
  [2911458, [1,15], "Handout view 16: Meta-bicrossed-products"],
  [3005711, [1,14], "Handout view 15: Bicrossed products"],
  [3011103, [1,15], "Handout view 16: Meta-bicrossed-products"],
  [3055158, [1,14], "Handout view 15: Bicrossed products"],
  [3060966, [1,15], "Handout view 16: Meta-bicrossed-products"],
  [3121604, [1,16], "Handout view 17: Further meta-bicrossed-products"],
  [3127949, [1,17], "Handout view 18: The beta-spaces"],
  [3237259, [1,18], "Handout view 19: The union"],
  [3262113, [1,19], "Handout view 20: Tail multiply"],
  [3299001, [1,20], "Handout view 21: Head multiply and swap"],
  [3318511, [1,20], "Handout view 21: Head multiply and swap"],
  [3497987, [1,21], "Handout view 22: YB elements and theorem"],
  [3568304, [1,22], "Handout view 23: Why Happy?"],
  [3684707, [1,20], "Handout view 21: Head multiply and swap"],
  [3699090, [1,22], "Handout view 23: Why Happy?"],
  [3772586, [1,23], "Handout view 24: I mean business!"],
  [3785985, [1,24], "Handout view 25: The core program"],
  [3865223, [1,25], "Handout view 26: Testing the axioms"],
  [3924405, [1,26], "Handout view 27: Testing R3"],
  [4007306, [1,26], "Handout view 27: Testing R3"],
  [4031858, [1,27], "Handout view 28: 8_17, start"],
  [4034946, [1,26], "Handout view 27: Testing R3"],
  [4038850, [1,27], "Handout view 28: 8_17, start"],
  [4085619, [1,28], "Handout view 29: 8_17, middle"],
  [4128455, [1,29], "Handout view 30: 8_17, end"],
  [4156110, [1,30], "Handout view 31: James Waddell Alexander"],
  [4163272, [1,31], "Handout view 32: Riddle"],
  [4183957, [1,32], "Handout view 33: Braided tubes"],
  [4336338, [1,31], "Handout view 32: Riddle"],
  [4453069, [1,33], "Handout view 34: The operations"],
  [4698472, [1,34], "Handout view 35: A partial to do list"],
  [4707695, [1,35], "Handout view 36: Propaganda"],
  [4740376, [1,33], "Handout view 34: The operations"],
  [4810236, [1,34], "Handout view 35: A partial to do list"],
  [4814915, [1,35], "Handout view 36: Propaganda"],
  [4833782, [1,33], "Handout view 34: The operations"]
];